منابع مشابه
Temporary Safety Hazards
The Epistemic Objection says that certain theories of time (like the “growing block” and “moving spotlight”) imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in t...
متن کاملSpecifying Safety-Related Hazards Formally
We show how safety analysis can guide the formal development of controlling software of a safety-critical system. The system is specified in action system framework. The framework is based on a firm mathematical foundation within which the reasoning about the correctness and behavior of the system under development is carried out. We encode information about the identified hazards and their lev...
متن کاملAnalyzing electrical hazards in the workplace.
In resolving the issues in analyzing electrical hazards in an industry, we must follow a path that will lead to a comprehensive analysis of the problems that exist and provide a quantified value to ensure the selection of appropriate personal protective equipment and clothing. An analysis of all three hazards--shock, arc, and blast--must be completed and steps taken to prevent injuries. The fol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Industry Applications Magazine
سال: 2017
ISSN: 1077-2618
DOI: 10.1109/mias.2017.2732185